Exact synchronization in partial deterministic automata

An automaton is a synchronizing if it has an input word that transfers it from any state to a particular state. There are two versions of synchronization in partial deterministic automata: Careful synchronization and exact synchronization. In this paper we focus on the exact version; we survey the complexity of testing exact synchronization and describe a SAT solver based algorithm for calculating the length of the shortest exact synchronizing word. © Published under licence by IOP Publishing Ltd

Moon-tracking orbits using motorized tethers for continuous earth–moon payload exchanges

For human colonization of the moon to become reality, an efficient and regular means of exchanging resources between the Earth and the moon must be established. One possibility is to pass and receive payloads at regular intervals between a symmetrically laden motorized momentum-exchange tether orbiting about Earth and a second orbiting about the moon. There are significant challenges associated with this method, among the greatest of which is the development of a system that incorporates the complex motion of the moon into its operational architecture in addition to conducting these exchanges on a per-lunar-orbit basis. One way of achieving this is to use a motorized tether orbiting Earth and tracking the nodes of the moon’s orbit to allow payload exchanges to be undertaken periodically with the arrival of the moon at either of these nodes. Tracking these nodes is achieved by arranging the tether to orbit Earth with a critical inclination, thus rendering its argument of perigee stationary in addition to using the precession effects resulting from an oblate Earth. Using this in conjunction with pre-emptive adjustments to its angle of right ascension, the tether will periodically realign itself with these nodes simultaneously with the arrival of the moon

Percutaneous pulmonary valve implantation alters electrophysiologic substrate

BACKGROUND: Percutaneous pulmonary valve implantation (PPVI) is first‐line therapy for some congenital heart disease patients with right ventricular outflow tract dysfunction. The hemodynamics improvements after PPVI are well documented, but little is known about its effects on the electrophysiologic substrate. The objective of this study is to assess the short‐ and medium‐term electrophysiologic substrate changes and elucidate postprocedure arrhythmias. METHODS AND RESULTS: A retrospective chart review of patients undergoing PPVI from May 2010 to April 2015 was performed. A total of 106 patients underwent PPVI; most commonly these patients had tetralogy of Fallot (n=59, 55%) and pulmonary insufficiency (n=60, 57%). The median follow‐up time was 28 months (7‐63 months). Pre‐PPVI, 25 patients (24%) had documented arrhythmias: nonsustained ventricular tachycardia (NSVT) (n=9, 8%), frequent premature ventricular contractions (PVCs) (n=6, 6%), and atrial fibrillation/flutter (AF/AFL) (n=10, 9%). Post‐PPVI, arrhythmias resolved in 4 patients who had NSVT (44%) and 5 patients who had PVCs (83%). New arrhythmias were seen in 16 patients (15%): 7 NSVT, 8 PVCs, and 1 AF/AFL. There was resolution at medium‐term follow‐up in 6 (86%) patients with new‐onset NSVT and 7 (88%) patients with new‐onset PVCs. There was no difference in QRS duration pre‐PPVI, post‐PPVI, and at medium‐term follow‐up (P=0.6). The median corrected QT lengthened immediately post‐PPVI but shortened significantly at midterm follow‐up (P<0.01). CONCLUSIONS: PPVI reduced the prevalence of NSVT. The majority of postimplant arrhythmias resolve by 6 months of follow‐up

Molecular characterization and susceptibility of methicillin-resistant and methicillin-susceptible Staphylococcus aureus isolates from hospitals and the community in Vladivostok, Russia

AbstractA prospective study was conducted during an 8-month period, from August 2006 to April 2007, to describe the epidemiology of Staphylococcus aureus-associated infections. In addition, the molecular characteristics, antimicrobial susceptibilities and antibiotic resistance determinants were identified in S. aureus isolates from hospitals and the community in Vladivostok, Russia. Among the 63 S. aureus isolates eligible for this study, methicillin resistance was observed in 48% (n = 30). Hospital-acquired strains accounted for 93% (28/30) of all methicillin-resistant S. aureus (MRSA) isolates. The major MRSA clone (sequence type (ST) 239, staphylococcal cassette chromosome mec (SCCmec) type III, Panton--Valentine leukocidin (PVL)-negative, with two related staphylococcal protein A gene (spa) types (types 3 and 351)) represented 90% of all of the MRSA isolates. This clone was multidrug-resistant, and 41% of isolates showed resistance to rifampicin. Community-acquired MRSA isolates (n = 2) were categorized as ST30, SCCmecIV, spa type 19, and PVL--positive, and as ST8, SCCmecIV, of a novel spa type 826, and PVL-negative. Eight different STs were detected among methicillin-susceptible S. aureus (MSSA) isolates, of which 55% were PVL--positive. One MSSA clone, which was categorized as ST121, spa type 273, and PVL--positive, caused fatal community-acquired pneumonia infections. The strains predominantly isolated in hospitals in Russia belonged to the multidrug-resistant Brazilian/Hungarian ST239 MRSA clone; however, this clone has new antibiotic susceptibilities. Additionally, the emergence of PVL--positive MSSA strains with enhanced virulence was observed, warranting continued surveillance

Partial Purification and Biochemical Characterization of Extracellular Pectinase from Aspergillus Niger Isolated from Groundnut Seeds

To produce and partially purify pectinases from Aspergillus niger isolateJGIm2, characterize the enzymes for potential industrial applications in clarifying fruit juices. Methodology and results: Isolates of Aspergillus niger were screened for ability to produce pectinases by the enzymatic index method. All the 34 isolates screened were producers with isolates JGIm2, JGIm3 and JGIm5 being the best. Optimum enzyme production was found with medium containing 1.5% pectin after 48 h of fermentation. Partial purification of the enzyme was carried out by ethanol precipitation to give two fold purification and 56% yield. The enzyme had pH & temperature optima of 4.0 and 45°C, Km and Vmax values of 0.178 g/dl & 11.62 IU/mg protein, respectively. Clarification of banana and pineapple juice using the partially purified enzyme resulted in 38 and 41% reduction in viscosity as determined spectroscopically

Careful synchronization of partial deterministic finite automata

We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experiments demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used. We compare our results with the ones obtained by the first author for exact synchronization, which is another version of synchronization studied in the literature, and draw some theoretical conclusions. © 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.Ministry of Education and Science of the Russian Federation, Minobrnauka: FEUZ-2020-0016Supported by the Ministry of Science and Higher Education of the Russian Federation, project FEUZ-2020-0016

Using Sat solvers for synchronization issues in partial deterministic automata

We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experimental results demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used.Comment: 15 pages, 3 figure